The Hanf number of omitting complete types
نویسندگان
چکیده
منابع مشابه
Omitting types and AF algebras
The model theory of metric structures ([?]) was successfully applied to analyze ultrapowers of C*-algebras in [?] and [?]. Since important classes of separable C*-algebras, such as UHF, AF, or nuclear algebras, are not elementary (i.e., not characterized by their theory—see [?, §6.1]), for a moment it seemed that model theoretic methods do not apply to these classes of C*-algebras. We prove res...
متن کاملA New Omitting Types Theorem
An omitting types theorem for countable models of superstable theories containing an infinite set of indiscernibles is proved. Various corollaries and applications are given. 1. One of the most useful ways that the model theorist has for controlling models is to attempt to specify the element types that models realize and omit. In this paper we present an omitting types theorem which seems well...
متن کاملOmitting Types in Operator Systems
We show that the class of 1-exact operator systems is not uniformly definable by a sequence of types. We use this fact to show that there is no finitary version of Arveson’s extension theorem. Next, we show that WEP is equivalent to a certain notion of existential closedness for C∗-algebras and use this equivalence to give a simpler proof of Kavruk’s result that WEP is equivalent to the complet...
متن کاملOmitting Types: Application to Descriptive Set Theory
The omitting types theorem of infinitary logic is used to prove that every small II set of analysis or any small 2. set of set theory is constructible. In what follows we could use either the omitting types theorem for infinitary logic or the same theorem for what Grilliot[2] calls (eA)-logic. I find the latter more appealing. Suppose i_ is a finitary logical language containing the symbols of ...
متن کاملThe Hanf number for Amalgamation of Coloring Classes
We study amalgamation properties in a family of abstract elementary classes that we call coloring classes. The family includes the examples previously studied in [3]. We establish that the amalgamation property is equivalent to the disjoint amalgamation property in all coloring classes; find the Hanf number for the amalgamation property for coloring classes; and improve the results of [3] by sh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1974
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1974.50.163